Termination combinators forever
نویسندگان
چکیده
منابع مشابه
Categorical Combinators
Our main aim is to present the connection between 2-calculus and Cartesian closed categories both in an untyped and purely syntactic setting. More specifically we establish a syntactic equivalence theorem between what we call categorical com-binatory logic and j-calculus with explicit products and projections, with fl and q-rules as well as with surjective pairing. "Combinatory logic" is of cou...
متن کاملForever Young
Propagation of a species requires periodic cell renewal to avoid clonal senescence. Liu et al. (2010) now describe a new mechanism of cell renewal in budding yeast, in which damaged protein aggregates are transported out of the daughter buds along actin cables to preserve youthfulness.
متن کاملRevision Forever!
Revision is a method to deal with non-monotonic processes. It has been used in theory of truth an an answer to semantic paradoxes as the liar, but the idea is universal and resurfaces in many areas of logic and applications of logic. In this survey, we describe the general idea in the framework of pointer semantics and point out that beyond the formal semantics given by Gupta and Belnap, the pr...
متن کاملBricolage forever!
According to constructivism, learning takes place by constructing cognitive structures. An experiment was carried out to uncover the mental models of experienced, but not professional, users of a word processor. The study shows that the mental models are superficial, and that bricolage (trial-and-error) is extensively used even though it is not viable for solving nontrivial problems. The conclu...
متن کاملForever Software
Any attempt to explain software engineering to a lay audience soon falls back on analogy: building software is like building a bridge, a car, a television set. A large part of the established practice within software engineering is also based on this premise. However, the analogy is false in some important ways, and herein originate many of the problems that have bugged the software industry si...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2012
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2096148.2034680